#include "sys.h"

void uart_init();
void uart_putStr(char *str);
